java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files egl.prism --model-input-type prism --property-input-files egl.props --property-input-names unfairA --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=10,L=8
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property unfairA
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2048 2048
build-model-states-explored 4504 2456
build-model-states-explored 7459 2955
build-model-states-explored 10058 2599
build-model-states-explored 12676 2618
build-model-states-explored 15322 2646
build-model-states-explored 17879 2557
build-model-states-explored 20857 2978
build-model-states-explored 23832 2975
build-model-states-explored 26779 2947
build-model-states-explored 29755 2976
build-model-states-explored 32732 2977
build-model-states-explored 34868 2136
build-model-states-explored 37509 2641
build-model-states-explored 40152 2643
build-model-states-explored 42793 2641
build-model-states-explored 45441 2648
build-model-states-explored 48071 2630
build-model-states-explored 50676 2605
build-model-states-explored 53319 2643
build-model-states-explored 55962 2643
build-model-states-explored 58605 2643
build-model-states-explored 61251 2646
build-model-states-explored 63899 2648
build-model-states-explored 65536 1637
build-model-states-explored 68507 2971
build-model-states-explored 71482 2975
build-model-states-explored 74458 2976
build-model-states-explored 77435 2977
build-model-states-explored 80414 2979
build-model-states-explored 83384 2970
build-model-states-explored 86360 2976
build-model-states-explored 89337 2977
build-model-states-explored 92312 2975
build-model-states-explored 95290 2978
build-model-states-explored 98266 2976
build-model-states-explored 101173 2907
build-model-states-explored 104147 2974
build-model-states-explored 107124 2977
build-model-states-explored 110100 2976
build-model-states-explored 113077 2977
build-model-states-explored 116053 2976
build-model-states-explored 119030 2977
build-model-states-explored 122010 2980
build-model-states-explored 124983 2973
build-model-states-explored 127962 2979
build-model-states-explored 130938 2976
build-model-states-explored 131554 616
build-model-states-explored 134186 2632
build-model-states-explored 136811 2625
build-model-states-explored 139439 2628
build-model-states-explored 142068 2629
build-model-states-explored 144704 2636
build-model-states-explored 147340 2636
build-model-states-explored 149970 2630
build-model-states-explored 152601 2631
build-model-states-explored 155236 2635
build-model-states-explored 157870 2634
build-model-states-explored 160507 2637
build-model-states-explored 163141 2634
build-model-states-explored 165774 2633
build-model-states-explored 168406 2632
build-model-states-explored 171039 2633
build-model-states-explored 173673 2634
build-model-states-explored 176307 2634
build-model-states-explored 178942 2635
build-model-states-explored 181574 2632
build-model-states-explored 184203 2629
build-model-states-explored 186829 2626
build-model-states-explored 189466 2637
build-model-states-explored 192102 2636
build-model-states-explored 194737 2635
build-model-states-explored 197218 2481
build-model-states-explored 199849 2631
build-model-states-explored 202476 2627
build-model-states-explored 205113 2637
build-model-states-explored 207744 2631
build-model-states-explored 210362 2618
build-model-states-explored 212995 2633
build-model-states-explored 215628 2633
build-model-states-explored 218267 2639
build-model-states-explored 220906 2639
build-model-states-explored 223543 2637
build-model-states-explored 226183 2640
build-model-states-explored 228805 2622
build-model-states-explored 231441 2636
build-model-states-explored 234076 2635
build-model-states-explored 236710 2634
build-model-states-explored 239347 2637
build-model-states-explored 241982 2635
build-model-states-explored 244616 2634
build-model-states-explored 247254 2638
build-model-states-explored 249885 2631
build-model-states-explored 252528 2643
build-model-states-explored 255165 2637
build-model-states-explored 257809 2644
build-model-states-explored 260456 2647
build-model-states-explored 262144 1688
build-model-states-explored 262144 0
build-model-states-explored 264584 2440
build-model-states-explored 267559 2975
build-model-states-explored 270530 2971
build-model-states-explored 273500 2970
build-model-states-explored 276478 2978
build-model-states-explored 279454 2976
build-model-states-explored 282431 2977
build-model-states-explored 285402 2971
build-model-states-explored 288335 2933
build-model-states-explored 291310 2975
build-model-states-explored 294288 2978
build-model-states-explored 297266 2978
build-model-states-explored 300229 2963
build-model-states-explored 303207 2978
build-model-states-explored 306181 2974
build-model-states-explored 309159 2978
build-model-states-explored 312131 2972
build-model-states-explored 315102 2971
build-model-states-explored 318076 2974
build-model-states-explored 321042 2966
build-model-states-explored 324018 2976
build-model-states-explored 326988 2970
build-model-states-explored 329970 2982
build-model-states-explored 332912 2942
build-model-states-explored 335876 2964
build-model-states-explored 338852 2976
build-model-states-explored 341828 2976
build-model-states-explored 344805 2977
build-model-states-explored 347773 2968
build-model-states-explored 350747 2974
build-model-states-explored 353721 2974
build-model-states-explored 356703 2982
build-model-states-explored 359677 2974
build-model-states-explored 362645 2968
build-model-states-explored 365615 2970
build-model-states-explored 368588 2973
build-model-states-explored 371557 2969
build-model-states-explored 374534 2977
build-model-states-explored 377497 2963
build-model-states-explored 380475 2978
build-model-states-explored 383441 2966
build-model-states-explored 386416 2975
build-model-states-explored 389386 2970
build-model-states-explored 392356 2970
build-model-states-explored 394988 2632
build-model-states-explored 397966 2978
build-model-states-explored 400943 2977
build-model-states-explored 403904 2961
build-model-states-explored 406871 2967
build-model-states-explored 409833 2962
build-model-states-explored 412813 2980
build-model-states-explored 415787 2974
build-model-states-explored 418764 2977
build-model-states-explored 421741 2977
build-model-states-explored 424719 2978
build-model-states-explored 427681 2962
build-model-states-explored 430658 2977
build-model-states-explored 433635 2977
build-model-states-explored 436608 2973
build-model-states-explored 439586 2978
build-model-states-explored 442556 2970
build-model-states-explored 445524 2968
build-model-states-explored 448490 2966
build-model-states-explored 451462 2972
build-model-states-explored 454430 2968
build-model-states-explored 457410 2980
build-model-states-explored 460375 2965
build-model-states-explored 463350 2975
build-model-states-explored 466291 2941
build-model-states-explored 469263 2972
build-model-states-explored 472233 2970
build-model-states-explored 474884 2651
build-model-states-explored 478041 3157
build-model-states-explored 481202 3161
build-model-states-explored 484363 3161
build-model-states-explored 487519 3156
build-model-states-explored 490685 3166
build-model-states-explored 493849 3164
build-model-states-explored 497020 3171
build-model-states-explored 500181 3161
build-model-states-explored 503349 3168
build-model-states-explored 506521 3172
build-model-states-explored 509698 3177
build-model-states-explored 512861 3163
build-model-states-explored 516034 3173
build-model-states-explored 519199 3165
build-model-states-explored 522359 3160
build-model-states-explored 524288 1929
build-model-states-explored 524288 0
build-model-states-explored 524288 0
build-model-states-explored 525189 901
build-model-states-explored 527997 2808
build-model-states-explored 530816 2819
build-model-states-explored 533635 2819
build-model-states-explored 536448 2813
build-model-states-explored 539262 2814
build-model-states-explored 542075 2813
build-model-states-explored 544888 2813
build-model-states-explored 547689 2801
build-model-states-explored 550500 2811
build-model-states-explored 553305 2805
build-model-states-explored 556117 2812
build-model-states-explored 558925 2808
build-model-states-explored 561733 2808
build-model-states-explored 564535 2802
build-model-states-explored 567314 2779
build-model-states-explored 570126 2812
build-model-states-explored 572938 2812
build-model-states-explored 575743 2805
build-model-states-explored 578555 2812
build-model-states-explored 581369 2814
build-model-states-explored 584177 2808
build-model-states-explored 586987 2810
build-model-states-explored 589806 2819
build-model-states-explored 592608 2802
build-model-states-explored 595416 2808
build-model-states-explored 598226 2810
build-model-states-explored 601039 2813
build-model-states-explored 603858 2819
build-model-states-explored 606673 2815
build-model-states-explored 609477 2804
build-model-states-explored 612282 2805
build-model-states-explored 615100 2818
build-model-states-explored 617914 2814
build-model-states-explored 620719 2805
build-model-states-explored 623540 2821
build-model-states-explored 626355 2815
build-model-states-explored 629174 2819
build-model-states-explored 631981 2807
build-model-states-explored 634793 2812
build-model-states-explored 637613 2820
build-model-states-explored 640429 2816
build-model-states-explored 643242 2813
build-model-states-explored 646060 2818
build-model-states-explored 648874 2814
build-model-states-explored 651686 2812
build-model-states-explored 654496 2810
build-model-states-explored 657305 2809
build-model-states-explored 660109 2804
build-model-states-explored 662921 2812
build-model-states-explored 665731 2810
build-model-states-explored 668537 2806
build-model-states-explored 671349 2812
build-model-states-explored 674157 2808
build-model-states-explored 676965 2808
build-model-states-explored 679781 2816
build-model-states-explored 682588 2807
build-model-states-explored 685396 2808
build-model-states-explored 688209 2813
build-model-states-explored 691012 2803
build-model-states-explored 693837 2825
build-model-states-explored 696648 2811
build-model-states-explored 699455 2807
build-model-states-explored 702269 2814
build-model-states-explored 705080 2811
build-model-states-explored 707887 2807
build-model-states-explored 710700 2813
build-model-states-explored 713514 2814
build-model-states-explored 716308 2794
build-model-states-explored 719118 2810
build-model-states-explored 721931 2813
build-model-states-explored 724734 2803
build-model-states-explored 727537 2803
build-model-states-explored 730347 2810
build-model-states-explored 733154 2807
build-model-states-explored 735968 2814
build-model-states-explored 738780 2812
build-model-states-explored 741588 2808
build-model-states-explored 744402 2814
build-model-states-explored 747218 2816
build-model-states-explored 750029 2811
build-model-states-explored 752847 2818
build-model-states-explored 755658 2811
build-model-states-explored 758481 2823
build-model-states-explored 761297 2816
build-model-states-explored 764110 2813
build-model-states-explored 766913 2803
build-model-states-explored 769738 2825
build-model-states-explored 772539 2801
build-model-states-explored 775358 2819
build-model-states-explored 778172 2814
build-model-states-explored 780979 2807
build-model-states-explored 783792 2813
build-model-states-explored 786431 2639
build-model-states-explored 788963 2532
build-model-states-explored 791774 2811
build-model-states-explored 794587 2813
build-model-states-explored 797394 2807
build-model-states-explored 800188 2794
build-model-states-explored 802991 2803
build-model-states-explored 805796 2805
build-model-states-explored 808605 2809
build-model-states-explored 811409 2804
build-model-states-explored 814202 2793
build-model-states-explored 817010 2808
build-model-states-explored 819821 2811
build-model-states-explored 822632 2811
build-model-states-explored 825443 2811
build-model-states-explored 828256 2813
build-model-states-explored 831063 2807
build-model-states-explored 833880 2817
build-model-states-explored 836697 2817
build-model-states-explored 839511 2814
build-model-states-explored 842327 2816
build-model-states-explored 845147 2820
build-model-states-explored 847958 2811
build-model-states-explored 850770 2812
build-model-states-explored 853586 2816
build-model-states-explored 856399 2813
build-model-states-explored 859209 2810
build-model-states-explored 862024 2815
build-model-states-explored 864834 2810
build-model-states-explored 867649 2815
build-model-states-explored 870458 2809
build-model-states-explored 873275 2817
build-model-states-explored 876094 2819
build-model-states-explored 878903 2809
build-model-states-explored 881713 2810
build-model-states-explored 884458 2745
build-model-states-explored 887271 2813
build-model-states-explored 890083 2812
build-model-states-explored 892901 2818
build-model-states-explored 895726 2825
build-model-states-explored 898551 2825
build-model-states-explored 901370 2819
build-model-states-explored 904151 2781
build-model-states-explored 906967 2816
build-model-states-explored 909793 2826
build-model-states-explored 912593 2800
build-model-states-explored 915404 2811
build-model-states-explored 918221 2817
build-model-states-explored 921022 2801
build-model-states-explored 923830 2808
build-model-states-explored 926645 2815
build-model-states-explored 929455 2810
build-model-states-explored 932267 2812
build-model-states-explored 935076 2809
build-model-states-explored 937882 2806
build-model-states-explored 940688 2806
build-model-states-explored 943498 2810
build-model-states-explored 946306 2808
build-model-states-explored 949120 2814
build-model-states-explored 951923 2803
build-model-states-explored 954730 2807
build-model-states-explored 957544 2814
build-model-states-explored 960354 2810
build-model-states-explored 963170 2816
build-model-states-explored 965982 2812
build-model-states-explored 968726 2744
build-model-states-explored 971544 2818
build-model-states-explored 974354 2810
build-model-states-explored 977154 2800
build-model-states-explored 979952 2798
build-model-states-explored 982746 2794
build-model-states-explored 985553 2807
build-model-states-explored 988365 2812
build-model-states-explored 991172 2807
build-model-states-explored 993979 2807
build-model-states-explored 996793 2814
build-model-states-explored 999605 2812
build-model-states-explored 1002416 2811
build-model-states-explored 1005227 2811
build-model-states-explored 1008049 2822
build-model-states-explored 1010853 2804
build-model-states-explored 1013666 2813
build-model-states-explored 1016480 2814
build-model-states-explored 1019285 2805
build-model-states-explored 1022102 2817
build-model-states-explored 1024918 2816
build-model-states-explored 1027740 2822
build-model-states-explored 1030562 2822
build-model-states-explored 1033379 2817
build-model-states-explored 1036185 2806
build-model-states-explored 1038951 2766
build-model-states-explored 1041767 2816
build-model-states-explored 1044588 2821
build-model-states-explored 1047411 2823
build-model-states-explored 1048576 1165
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1049689 1113
build-model-states-explored 1052257 2568
build-model-states-explored 1054825 2568
build-model-states-explored 1057396 2571
build-model-states-explored 1059971 2575
build-model-states-explored 1062544 2573
build-model-states-explored 1065118 2574
build-model-states-explored 1067689 2571
build-model-states-explored 1070260 2571
build-model-states-explored 1072829 2569
build-model-states-explored 1075399 2570
build-model-states-explored 1077972 2573
build-model-states-explored 1080543 2571
build-model-states-explored 1083111 2568
build-model-states-explored 1085680 2569
build-model-states-explored 1088250 2570
build-model-states-explored 1090819 2569
build-model-states-explored 1093387 2568
build-model-states-explored 1095956 2569
build-model-states-explored 1098526 2570
build-model-states-explored 1101096 2570
build-model-states-explored 1103666 2570
build-model-states-explored 1106237 2571
build-model-states-explored 1108807 2570
build-model-states-explored 1111380 2573
build-model-states-explored 1113935 2555
build-model-states-explored 1116506 2571
build-model-states-explored 1119075 2569
build-model-states-explored 1121642 2567
build-model-states-explored 1124209 2567
build-model-states-explored 1126781 2572
build-model-states-explored 1129352 2571
build-model-states-explored 1131922 2570
build-model-states-explored 1134488 2566
build-model-states-explored 1137058 2570
build-model-states-explored 1139628 2570
build-model-states-explored 1142198 2570
build-model-states-explored 1144767 2569
build-model-states-explored 1147337 2570
build-model-states-explored 1149907 2570
build-model-states-explored 1152478 2571
build-model-states-explored 1155047 2569
build-model-states-explored 1157618 2571
build-model-states-explored 1160189 2571
build-model-states-explored 1162760 2571
build-model-states-explored 1165327 2567
build-model-states-explored 1167897 2570
build-model-states-explored 1170467 2570
build-model-states-explored 1173036 2569
build-model-states-explored 1175607 2571
build-model-states-explored 1178177 2570
build-model-states-explored 1180748 2571
build-model-states-explored 1183318 2570
build-model-states-explored 1185886 2568
build-model-states-explored 1188454 2568
build-model-states-explored 1190967 2513
build-model-states-explored 1193536 2569
build-model-states-explored 1196105 2569
build-model-states-explored 1198674 2569
build-model-states-explored 1201244 2570
build-model-states-explored 1203814 2570
build-model-states-explored 1206385 2571
build-model-states-explored 1208914 2529
build-model-states-explored 1211483 2569
build-model-states-explored 1214053 2570
build-model-states-explored 1216623 2570
build-model-states-explored 1219195 2572
build-model-states-explored 1221767 2572
build-model-states-explored 1224336 2569
build-model-states-explored 1226907 2571
build-model-states-explored 1229479 2572
build-model-states-explored 1232051 2572
build-model-states-explored 1234622 2571
build-model-states-explored 1237193 2571
build-model-states-explored 1239764 2571
build-model-states-explored 1242335 2571
build-model-states-explored 1244907 2572
build-model-states-explored 1247476 2569
build-model-states-explored 1250044 2568
build-model-states-explored 1252615 2571
build-model-states-explored 1255185 2570
build-model-states-explored 1257756 2571
build-model-states-explored 1260328 2572
build-model-states-explored 1262898 2570
build-model-states-explored 1265466 2568
build-model-states-explored 1267968 2502
build-model-states-explored 1270538 2570
build-model-states-explored 1273108 2570
build-model-states-explored 1275682 2574
build-model-states-explored 1278256 2574
build-model-states-explored 1280831 2575
build-model-states-explored 1283404 2573
build-model-states-explored 1285978 2574
build-model-states-explored 1288552 2574
build-model-states-explored 1291127 2575
build-model-states-explored 1293704 2577
build-model-states-explored 1296280 2576
build-model-states-explored 1298834 2554
build-model-states-explored 1301407 2573
build-model-states-explored 1303983 2576
build-model-states-explored 1306558 2575
build-model-states-explored 1309134 2576
build-model-states-explored 1311708 2574
build-model-states-explored 1314282 2574
build-model-states-explored 1316857 2575
build-model-states-explored 1319430 2573
build-model-states-explored 1322008 2578
build-model-states-explored 1324584 2576
build-model-states-explored 1327159 2575
build-model-states-explored 1329733 2574
build-model-states-explored 1332305 2572
build-model-states-explored 1334882 2577
build-model-states-explored 1337456 2574
build-model-states-explored 1339982 2526
build-model-states-explored 1342538 2556
build-model-states-explored 1345077 2539
build-model-states-explored 1347652 2575
build-model-states-explored 1350225 2573
build-model-states-explored 1352799 2574
build-model-states-explored 1355376 2577
build-model-states-explored 1357953 2577
build-model-states-explored 1360529 2576
build-model-states-explored 1363103 2574
build-model-states-explored 1365675 2572
build-model-states-explored 1368250 2575
build-model-states-explored 1370804 2554
build-model-states-explored 1373379 2575
build-model-states-explored 1375956 2577
build-model-states-explored 1378530 2574
build-model-states-explored 1381102 2572
build-model-states-explored 1383678 2576
build-model-states-explored 1386253 2575
build-model-states-explored 1388827 2574
build-model-states-explored 1391402 2575
build-model-states-explored 1393976 2574
build-model-states-explored 1396552 2576
build-model-states-explored 1399128 2576
build-model-states-explored 1401701 2573
build-model-states-explored 1404276 2575
build-model-states-explored 1406852 2576
build-model-states-explored 1409429 2577
build-model-states-explored 1412002 2573
build-model-states-explored 1414574 2572
build-model-states-explored 1417148 2574
build-model-states-explored 1419704 2556
build-model-states-explored 1422269 2565
build-model-states-explored 1424844 2575
build-model-states-explored 1427418 2574
build-model-states-explored 1429951 2533
build-model-states-explored 1432524 2573
build-model-states-explored 1435098 2574
build-model-states-explored 1437652 2554
build-model-states-explored 1440208 2556
build-model-states-explored 1442780 2572
build-model-states-explored 1445353 2573
build-model-states-explored 1447906 2553
build-model-states-explored 1450459 2553
build-model-states-explored 1453031 2572
build-model-states-explored 1455604 2573
build-model-states-explored 1458137 2533
build-model-states-explored 1460713 2576
build-model-states-explored 1463286 2573
build-model-states-explored 1465853 2567
build-model-states-explored 1468425 2572
build-model-states-explored 1471002 2577
build-model-states-explored 1473553 2551
build-model-states-explored 1476118 2565
build-model-states-explored 1478693 2575
build-model-states-explored 1481268 2575
build-model-states-explored 1483841 2573
build-model-states-explored 1486418 2577
build-model-states-explored 1488990 2572
build-model-states-explored 1491566 2576
build-model-states-explored 1494138 2572
build-model-states-explored 1496714 2576
build-model-states-explored 1499248 2534
build-model-states-explored 1501782 2534
build-model-states-explored 1504357 2575
build-model-states-explored 1506918 2561
build-model-states-explored 1509472 2554
build-model-states-explored 1512046 2574
build-model-states-explored 1514617 2571
build-model-states-explored 1517167 2550
build-model-states-explored 1519736 2569
build-model-states-explored 1522312 2576
build-model-states-explored 1524885 2573
build-model-states-explored 1527438 2553
build-model-states-explored 1530014 2576
build-model-states-explored 1532586 2572
build-model-states-explored 1535143 2557
build-model-states-explored 1537670 2527
build-model-states-explored 1540247 2577
build-model-states-explored 1542825 2578
build-model-states-explored 1545399 2574
build-model-states-explored 1547974 2575
build-model-states-explored 1550548 2574
build-model-states-explored 1553104 2556
build-model-states-explored 1555679 2575
build-model-states-explored 1558252 2573
build-model-states-explored 1560826 2574
build-model-states-explored 1563401 2575
build-model-states-explored 1565974 2573
build-model-states-explored 1568548 2574
build-model-states-explored 1571123 2575
build-model-states-explored 1572838 1715
build-model-states-explored 1575277 2439
build-model-states-explored 1577751 2474
build-model-states-explored 1580226 2475
build-model-states-explored 1582697 2471
build-model-states-explored 1585173 2476
build-model-states-explored 1587644 2471
build-model-states-explored 1590117 2473
build-model-states-explored 1592590 2473
build-model-states-explored 1595060 2470
build-model-states-explored 1597520 2460
build-model-states-explored 1599991 2471
build-model-states-explored 1602457 2466
build-model-states-explored 1604927 2470
build-model-states-explored 1607386 2459
build-model-states-explored 1609854 2468
build-model-states-explored 1612324 2470
build-model-states-explored 1614800 2476
build-model-states-explored 1617279 2479
build-model-states-explored 1619753 2474
build-model-states-explored 1622224 2471
build-model-states-explored 1624687 2463
build-model-states-explored 1627161 2474
build-model-states-explored 1629627 2466
build-model-states-explored 1632083 2456
build-model-states-explored 1634554 2471
build-model-states-explored 1637025 2471
build-model-states-explored 1639494 2469
build-model-states-explored 1641957 2463
build-model-states-explored 1644428 2471
build-model-states-explored 1646898 2470
build-model-states-explored 1649306 2408
build-model-states-explored 1651776 2470
build-model-states-explored 1654242 2466
build-model-states-explored 1656704 2462
build-model-states-explored 1659151 2447
build-model-states-explored 1661607 2456
build-model-states-explored 1664063 2456
build-model-states-explored 1666530 2467
build-model-states-explored 1668983 2453
build-model-states-explored 1671445 2462
build-model-states-explored 1673912 2467
build-model-states-explored 1676375 2463
build-model-states-explored 1678843 2468
build-model-states-explored 1681305 2462
build-model-states-explored 1683775 2470
build-model-states-explored 1686243 2468
build-model-states-explored 1688688 2445
build-model-states-explored 1691132 2444
build-model-states-explored 1693599 2467
build-model-states-explored 1696065 2466
build-model-states-explored 1698531 2466
build-model-states-explored 1701000 2469
build-model-states-explored 1703468 2468
build-model-states-explored 1705934 2466
build-model-states-explored 1708405 2471
build-model-states-explored 1710873 2468
build-model-states-explored 1713345 2472
build-model-states-explored 1715812 2467
build-model-states-explored 1718280 2468
build-model-states-explored 1720748 2468
build-model-states-explored 1723189 2441
build-model-states-explored 1725657 2468
build-model-states-explored 1728120 2463
build-model-states-explored 1730582 2462
build-model-states-explored 1733049 2467
build-model-states-explored 1735509 2460
build-model-states-explored 1737978 2469
build-model-states-explored 1740444 2466
build-model-states-explored 1742913 2469
build-model-states-explored 1745383 2470
build-model-states-explored 1747851 2468
build-model-states-explored 1750321 2470
build-model-states-explored 1752789 2468
build-model-states-explored 1755253 2464
build-model-states-explored 1757724 2471
build-model-states-explored 1760187 2463
build-model-states-explored 1762653 2466
build-model-states-explored 1765118 2465
build-model-states-explored 1767586 2468
build-model-states-explored 1770051 2465
build-model-states-explored 1772514 2463
build-model-states-explored 1774982 2468
build-model-states-explored 1777451 2469
build-model-states-explored 1779916 2465
build-model-states-explored 1782385 2469
build-model-states-explored 1784851 2466
build-model-states-explored 1787315 2464
build-model-states-explored 1789777 2462
build-model-states-explored 1792244 2467
build-model-states-explored 1794713 2469
build-model-states-explored 1797118 2405
build-model-states-explored 1799584 2466
build-model-states-explored 1802039 2455
build-model-states-explored 1804502 2463
build-model-states-explored 1806969 2467
build-model-states-explored 1809432 2463
build-model-states-explored 1811904 2472
build-model-states-explored 1814351 2447
build-model-states-explored 1816815 2464
build-model-states-explored 1819273 2458
build-model-states-explored 1821737 2464
build-model-states-explored 1824202 2465
build-model-states-explored 1826671 2469
build-model-states-explored 1829142 2471
build-model-states-explored 1831611 2469
build-model-states-explored 1834081 2470
build-model-states-explored 1836549 2468
build-model-states-explored 1839010 2461
build-model-states-explored 1841478 2468
build-model-states-explored 1843939 2461
build-model-states-explored 1846405 2466
build-model-states-explored 1848864 2459
build-model-states-explored 1851325 2461
build-model-states-explored 1853787 2462
build-model-states-explored 1856249 2462
build-model-states-explored 1858712 2463
build-model-states-explored 1861174 2462
build-model-states-explored 1863636 2462
build-model-states-explored 1866101 2465
build-model-states-explored 1868564 2463
build-model-states-explored 1871026 2462
build-model-states-explored 1873494 2468
build-model-states-explored 1875958 2464
build-model-states-explored 1878418 2460
build-model-states-explored 1880885 2467
build-model-states-explored 1883350 2465
build-model-states-explored 1885815 2465
build-model-states-explored 1888283 2468
build-model-states-explored 1890750 2467
build-model-states-explored 1893213 2463
build-model-states-explored 1895681 2468
build-model-states-explored 1898146 2465
build-model-states-explored 1900614 2468
build-model-states-explored 1903081 2467
build-model-states-explored 1905526 2445
build-model-states-explored 1907994 2468
build-model-states-explored 1910460 2466
build-model-states-explored 1912930 2470
build-model-states-explored 1915396 2466
build-model-states-explored 1917860 2464
build-model-states-explored 1920331 2471
build-model-states-explored 1922801 2470
build-model-states-explored 1925273 2472
build-model-states-explored 1927745 2472
build-model-states-explored 1930219 2474
build-model-states-explored 1932684 2465
build-model-states-explored 1935153 2469
build-model-states-explored 1937616 2463
build-model-states-explored 1940082 2466
build-model-states-explored 1942547 2465
build-model-states-explored 1945000 2453
build-model-states-explored 1947464 2464
build-model-states-explored 1949932 2468
build-model-states-explored 1952399 2467
build-model-states-explored 1954866 2467
build-model-states-explored 1957329 2463
build-model-states-explored 1959794 2465
build-model-states-explored 1962257 2463
build-model-states-explored 1964726 2469
build-model-states-explored 1967172 2446
build-model-states-explored 1969637 2465
build-model-states-explored 1972107 2470
build-model-states-explored 1974572 2465
build-model-states-explored 1977035 2463
build-model-states-explored 1979506 2471
build-model-states-explored 1981971 2465
build-model-states-explored 1984438 2467
build-model-states-explored 1986902 2464
build-model-states-explored 1989360 2458
build-model-states-explored 1991819 2459
build-model-states-explored 1994281 2462
build-model-states-explored 1996741 2460
build-model-states-explored 1999202 2461
build-model-states-explored 2001668 2466
build-model-states-explored 2004137 2469
build-model-states-explored 2006608 2471
build-model-states-explored 2009076 2468
build-model-states-explored 2011544 2468
build-model-states-explored 2014007 2463
build-model-states-explored 2016467 2460
build-model-states-explored 2018898 2431
build-model-states-explored 2021360 2462
build-model-states-explored 2023826 2466
build-model-states-explored 2026285 2459
build-model-states-explored 2028756 2471
build-model-states-explored 2031224 2468
build-model-states-explored 2033688 2464
build-model-states-explored 2036157 2469
build-model-states-explored 2038620 2463
build-model-states-explored 2041088 2468
build-model-states-explored 2043563 2475
build-model-states-explored 2046034 2471
build-model-states-explored 2048494 2460
build-model-states-explored 2050962 2468
build-model-states-explored 2053427 2465
build-model-states-explored 2055888 2461
build-model-states-explored 2058353 2465
build-model-states-explored 2060821 2468
build-model-states-explored 2063286 2465
build-model-states-explored 2065748 2462
build-model-states-explored 2068210 2462
build-model-states-explored 2070681 2471
build-model-states-explored 2073147 2466
build-model-states-explored 2075611 2464
build-model-states-explored 2078072 2461
build-model-states-explored 2080536 2464
build-model-states-explored 2083001 2465
build-model-states-explored 2085469 2468
build-model-states-explored 2087934 2465
build-model-states-explored 2090394 2460
build-model-states-explored 2092836 2442
build-model-states-explored 2095300 2464
build-model-states-explored 2097152 1852
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2098820 1668
build-model-states-explored 2101287 2467
build-model-states-explored 2103755 2468
build-model-states-explored 2106234 2479
build-model-states-explored 2108719 2485
build-model-states-explored 2111205 2486
build-model-states-explored 2113688 2483
build-model-states-explored 2116168 2480
build-model-states-explored 2118645 2477
build-model-states-explored 2121121 2476
build-model-states-explored 2123600 2479
build-model-states-explored 2126083 2483
build-model-states-explored 2128558 2475
build-model-states-explored 2131037 2479
build-model-states-explored 2133512 2475
build-model-states-explored 2135974 2462
build-model-states-explored 2138453 2479
build-model-states-explored 2140932 2479
build-model-states-explored 2143409 2477
build-model-states-explored 2145890 2481
build-model-states-explored 2148367 2477
build-model-states-explored 2150843 2476
build-model-states-explored 2153321 2478
build-model-states-explored 2155796 2475
build-model-states-explored 2158275 2479
build-model-states-explored 2160748 2473
build-model-states-explored 2163221 2473
build-model-states-explored 2165698 2477
build-model-states-explored 2168170 2472
build-model-states-explored 2170643 2473
build-model-states-explored 2173118 2475
build-model-states-explored 2175598 2480
build-model-states-explored 2178075 2477
build-model-states-explored 2180550 2475
build-model-states-explored 2183026 2476
build-model-states-explored 2185498 2472
build-model-states-explored 2187973 2475
build-model-states-explored 2190448 2475
build-model-states-explored 2192924 2476
build-model-states-explored 2195400 2476
build-model-states-explored 2197877 2477
build-model-states-explored 2200350 2473
build-model-states-explored 2202824 2474
build-model-states-explored 2205301 2477
build-model-states-explored 2207782 2481
build-model-states-explored 2210256 2474
build-model-states-explored 2212731 2475
build-model-states-explored 2215209 2478
build-model-states-explored 2217684 2475
build-model-states-explored 2220158 2474
build-model-states-explored 2222636 2478
build-model-states-explored 2225112 2476
build-model-states-explored 2227587 2475
build-model-states-explored 2230057 2470
build-model-states-explored 2232518 2461
build-model-states-explored 2234995 2477
build-model-states-explored 2237473 2478
build-model-states-explored 2239954 2481
build-model-states-explored 2242434 2480
build-model-states-explored 2244894 2460
build-model-states-explored 2247369 2475
build-model-states-explored 2249846 2477
build-model-states-explored 2252323 2477
build-model-states-explored 2254801 2478
build-model-states-explored 2257285 2484
build-model-states-explored 2259771 2486
build-model-states-explored 2262247 2476
build-model-states-explored 2264726 2479
build-model-states-explored 2267203 2477
build-model-states-explored 2269679 2476
build-model-states-explored 2272157 2478
build-model-states-explored 2274635 2478
build-model-states-explored 2277115 2480
build-model-states-explored 2279587 2472
build-model-states-explored 2282065 2478
build-model-states-explored 2284522 2457
build-model-states-explored 2287000 2478
build-model-states-explored 2289478 2478
build-model-states-explored 2291953 2475
build-model-states-explored 2294428 2475
build-model-states-explored 2296903 2475
build-model-states-explored 2299379 2476
build-model-states-explored 2301853 2474
build-model-states-explored 2304331 2478
build-model-states-explored 2306809 2478
build-model-states-explored 2309286 2477
build-model-states-explored 2311763 2477
build-model-states-explored 2314244 2481
build-model-states-explored 2316714 2470
build-model-states-explored 2319188 2474
build-model-states-explored 2321667 2479
build-model-states-explored 2324143 2476
build-model-states-explored 2326618 2475
build-model-states-explored 2329095 2477
build-model-states-explored 2331566 2471
build-model-states-explored 2334043 2477
build-model-states-explored 2336520 2477
build-model-states-explored 2339002 2482
build-model-states-explored 2341476 2474
build-model-states-explored 2343951 2475
build-model-states-explored 2346428 2477
build-model-states-explored 2348903 2475
build-model-states-explored 2351376 2473
build-model-states-explored 2353853 2477
build-model-states-explored 2356333 2480
build-model-states-explored 2358795 2462
build-model-states-explored 2361264 2469
build-model-states-explored 2363738 2474
build-model-states-explored 2366209 2471
build-model-states-explored 2368681 2472
build-model-states-explored 2371155 2474
build-model-states-explored 2373634 2479
build-model-states-explored 2376103 2469
build-model-states-explored 2378573 2470
build-model-states-explored 2381039 2466
build-model-states-explored 2383510 2471
build-model-states-explored 2385985 2475
build-model-states-explored 2388464 2479
build-model-states-explored 2390934 2470
build-model-states-explored 2393406 2472
build-model-states-explored 2395878 2472
build-model-states-explored 2398357 2479
build-model-states-explored 2400827 2470
build-model-states-explored 2403303 2476
build-model-states-explored 2405778 2475
build-model-states-explored 2408260 2482
build-model-states-explored 2410733 2473
build-model-states-explored 2413208 2475
build-model-states-explored 2415678 2470
build-model-states-explored 2418150 2472
build-model-states-explored 2420628 2478
build-model-states-explored 2423096 2468
build-model-states-explored 2425564 2468
build-model-states-explored 2428041 2477
build-model-states-explored 2430511 2470
build-model-states-explored 2432971 2460
build-model-states-explored 2435447 2476
build-model-states-explored 2437925 2478
build-model-states-explored 2440393 2468
build-model-states-explored 2442843 2450
build-model-states-explored 2445316 2473
build-model-states-explored 2447792 2476
build-model-states-explored 2450263 2471
build-model-states-explored 2452742 2479
build-model-states-explored 2455221 2479
build-model-states-explored 2457700 2479
build-model-states-explored 2460178 2478
build-model-states-explored 2462658 2480
build-model-states-explored 2465129 2471
build-model-states-explored 2467605 2476
build-model-states-explored 2470083 2478
build-model-states-explored 2472561 2478
build-model-states-explored 2475034 2473
build-model-states-explored 2477507 2473
build-model-states-explored 2479981 2474
build-model-states-explored 2482454 2473
build-model-states-explored 2484932 2478
build-model-states-explored 2487409 2477
build-model-states-explored 2489883 2474
build-model-states-explored 2492358 2475
build-model-states-explored 2494833 2475
build-model-states-explored 2497311 2478
build-model-states-explored 2499781 2470
build-model-states-explored 2502258 2477
build-model-states-explored 2504733 2475
build-model-states-explored 2507166 2433
build-model-states-explored 2509642 2476
build-model-states-explored 2512119 2477
build-model-states-explored 2514587 2468
build-model-states-explored 2517064 2477
build-model-states-explored 2519543 2479
build-model-states-explored 2522017 2474
build-model-states-explored 2524492 2475
build-model-states-explored 2526968 2476
build-model-states-explored 2529442 2474
build-model-states-explored 2531919 2477
build-model-states-explored 2534399 2480
build-model-states-explored 2536877 2478
build-model-states-explored 2539352 2475
build-model-states-explored 2541823 2471
build-model-states-explored 2544296 2473
build-model-states-explored 2546761 2465
build-model-states-explored 2549229 2468
build-model-states-explored 2551707 2478
build-model-states-explored 2554154 2447
build-model-states-explored 2556627 2473
build-model-states-explored 2559101 2474
build-model-states-explored 2561575 2474
build-model-states-explored 2564046 2471
build-model-states-explored 2566523 2477
build-model-states-explored 2568997 2474
build-model-states-explored 2571478 2481
build-model-states-explored 2573957 2479
build-model-states-explored 2576437 2480
build-model-states-explored 2578909 2472
build-model-states-explored 2581384 2475
build-model-states-explored 2583868 2484
build-model-states-explored 2586347 2479
build-model-states-explored 2588822 2475
build-model-states-explored 2591301 2479
build-model-states-explored 2593778 2477
build-model-states-explored 2596255 2477
build-model-states-explored 2598731 2476
build-model-states-explored 2601210 2479
build-model-states-explored 2603685 2475
build-model-states-explored 2606162 2477
build-model-states-explored 2608638 2476
build-model-states-explored 2611113 2475
build-model-states-explored 2613590 2477
build-model-states-explored 2616067 2477
build-model-states-explored 2618546 2479
build-model-states-explored 2621023 2477
build-model-states-explored 2623486 2463
build-model-states-explored 2625948 2462
build-model-states-explored 2628402 2454
build-model-states-explored 2630871 2469
build-model-states-explored 2633349 2478
build-model-states-explored 2635825 2476
build-model-states-explored 2638298 2473
build-model-states-explored 2640772 2474
build-model-states-explored 2643246 2474
build-model-states-explored 2645722 2476
build-model-states-explored 2648198 2476
build-model-states-explored 2650680 2482
build-model-states-explored 2653153 2473
build-model-states-explored 2655626 2473
build-model-states-explored 2658104 2478
build-model-states-explored 2660583 2479
build-model-states-explored 2663057 2474
build-model-states-explored 2665534 2477
build-model-states-explored 2668013 2479
build-model-states-explored 2670492 2479
build-model-states-explored 2672931 2439
build-model-states-explored 2675405 2474
build-model-states-explored 2677880 2475
build-model-states-explored 2680357 2477
build-model-states-explored 2682838 2481
build-model-states-explored 2685310 2472
build-model-states-explored 2687784 2474
build-model-states-explored 2690258 2474
build-model-states-explored 2692732 2474
build-model-states-explored 2695205 2473
build-model-states-explored 2697680 2475
build-model-states-explored 2700155 2475
build-model-states-explored 2702632 2477
build-model-states-explored 2705110 2478
build-model-states-explored 2707586 2476
build-model-states-explored 2710061 2475
build-model-states-explored 2712536 2475
build-model-states-explored 2715013 2477
build-model-states-explored 2717489 2476
build-model-states-explored 2719963 2474
build-model-states-explored 2722435 2472
build-model-states-explored 2724905 2470
build-model-states-explored 2727370 2465
build-model-states-explored 2729833 2463
build-model-states-explored 2732314 2481
build-model-states-explored 2734792 2478
build-model-states-explored 2737265 2473
build-model-states-explored 2739740 2475
build-model-states-explored 2742216 2476
build-model-states-explored 2744688 2472
build-model-states-explored 2747164 2476
build-model-states-explored 2749642 2478
build-model-states-explored 2752123 2481
build-model-states-explored 2754601 2478
build-model-states-explored 2757079 2478
build-model-states-explored 2759558 2479
build-model-states-explored 2762032 2474
build-model-states-explored 2764506 2474
build-model-states-explored 2766986 2480
build-model-states-explored 2769465 2479
build-model-states-explored 2771943 2478
build-model-states-explored 2774421 2478
build-model-states-explored 2776900 2479
build-model-states-explored 2779377 2477
build-model-states-explored 2781850 2473
build-model-states-explored 2784321 2471
build-model-states-explored 2786796 2475
build-model-states-explored 2789276 2480
build-model-states-explored 2791753 2477
build-model-states-explored 2794230 2477
build-model-states-explored 2796707 2477
build-model-states-explored 2799185 2478
build-model-states-explored 2801648 2463
build-model-states-explored 2804108 2460
build-model-states-explored 2806594 2486
build-model-states-explored 2809079 2485
build-model-states-explored 2811564 2485
build-model-states-explored 2814054 2490
build-model-states-explored 2816540 2486
build-model-states-explored 2819026 2486
build-model-states-explored 2821510 2484
build-model-states-explored 2823991 2481
build-model-states-explored 2826468 2477
build-model-states-explored 2828956 2488
build-model-states-explored 2831441 2485
build-model-states-explored 2833924 2483
build-model-states-explored 2836408 2484
build-model-states-explored 2838892 2484
build-model-states-explored 2841377 2485
build-model-states-explored 2843861 2484
build-model-states-explored 2846347 2486
build-model-states-explored 2848836 2489
build-model-states-explored 2851318 2482
build-model-states-explored 2853808 2490
build-model-states-explored 2856293 2485
build-model-states-explored 2858755 2462
build-model-states-explored 2861222 2467
build-model-states-explored 2863685 2463
build-model-states-explored 2866168 2483
build-model-states-explored 2868652 2484
build-model-states-explored 2871126 2474
build-model-states-explored 2873599 2473
build-model-states-explored 2876069 2470
build-model-states-explored 2878509 2440
build-model-states-explored 2880997 2488
build-model-states-explored 2883483 2486
build-model-states-explored 2885962 2479
build-model-states-explored 2888444 2482
build-model-states-explored 2890928 2484
build-model-states-explored 2893412 2484
build-model-states-explored 2895896 2484
build-model-states-explored 2898383 2487
build-model-states-explored 2900867 2484
build-model-states-explored 2903346 2479
build-model-states-explored 2905826 2480
build-model-states-explored 2908303 2477
build-model-states-explored 2910790 2487
build-model-states-explored 2913276 2486
build-model-states-explored 2915762 2486
build-model-states-explored 2918245 2483
build-model-states-explored 2920729 2484
build-model-states-explored 2923215 2486
build-model-states-explored 2925697 2482
build-model-states-explored 2928181 2484
build-model-states-explored 2930668 2487
build-model-states-explored 2933154 2486
build-model-states-explored 2935635 2481
build-model-states-explored 2938120 2485
build-model-states-explored 2940599 2479
build-model-states-explored 2943087 2488
build-model-states-explored 2945569 2482
build-model-states-explored 2948052 2483
build-model-states-explored 2950525 2473
build-model-states-explored 2952903 2378
build-model-states-explored 2955290 2387
build-model-states-explored 2957771 2481
build-model-states-explored 2960258 2487
build-model-states-explored 2962746 2488
build-model-states-explored 2965231 2485
build-model-states-explored 2967719 2488
build-model-states-explored 2970165 2446
build-model-states-explored 2972647 2482
build-model-states-explored 2975131 2484
build-model-states-explored 2977621 2490
build-model-states-explored 2980112 2491
build-model-states-explored 2982599 2487
build-model-states-explored 2985085 2486
build-model-states-explored 2987573 2488
build-model-states-explored 2990060 2487
build-model-states-explored 2992549 2489
build-model-states-explored 2995039 2490
build-model-states-explored 2997529 2490
build-model-states-explored 3000016 2487
build-model-states-explored 3002505 2489
build-model-states-explored 3004994 2489
build-model-states-explored 3007486 2492
build-model-states-explored 3009977 2491
build-model-states-explored 3012469 2492
build-model-states-explored 3014958 2489
build-model-states-explored 3017445 2487
build-model-states-explored 3019929 2484
build-model-states-explored 3022413 2484
build-model-states-explored 3024888 2475
build-model-states-explored 3027365 2477
build-model-states-explored 3029851 2486
build-model-states-explored 3032337 2486
build-model-states-explored 3034824 2487
build-model-states-explored 3037303 2479
build-model-states-explored 3039785 2482
build-model-states-explored 3042277 2492
build-model-states-explored 3044762 2485
build-model-states-explored 3047251 2489
build-model-states-explored 3049738 2487
build-model-states-explored 3052225 2487
build-model-states-explored 3054675 2450
build-model-states-explored 3057156 2481
build-model-states-explored 3059646 2490
build-model-states-explored 3062097 2451
build-model-states-explored 3064584 2487
build-model-states-explored 3067042 2458
build-model-states-explored 3069504 2462
build-model-states-explored 3071986 2482
build-model-states-explored 3074470 2484
build-model-states-explored 3076957 2487
build-model-states-explored 3079445 2488
build-model-states-explored 3081908 2463
build-model-states-explored 3084395 2487
build-model-states-explored 3086879 2484
build-model-states-explored 3089364 2485
build-model-states-explored 3091849 2485
build-model-states-explored 3094337 2488
build-model-states-explored 3096828 2491
build-model-states-explored 3099307 2479
build-model-states-explored 3101687 2380
build-model-states-explored 3104063 2376
build-model-states-explored 3106499 2436
build-model-states-explored 3108992 2493
build-model-states-explored 3111476 2484
build-model-states-explored 3113967 2491
build-model-states-explored 3116457 2490
build-model-states-explored 3118945 2488
build-model-states-explored 3121422 2477
build-model-states-explored 3123886 2464
build-model-states-explored 3126354 2468
build-model-states-explored 3128825 2471
build-model-states-explored 3131307 2482
build-model-states-explored 3133795 2488
build-model-states-explored 3136281 2486
build-model-states-explored 3138765 2484
build-model-states-explored 3141257 2492
build-model-states-explored 3143748 2491
build-model-states-explored 3146111 2363
build-model-states-explored 3148594 2483
build-model-states-explored 3151077 2483
build-model-states-explored 3153560 2483
build-model-states-explored 3156043 2483
build-model-states-explored 3158529 2486
build-model-states-explored 3161018 2489
build-model-states-explored 3163500 2482
build-model-states-explored 3165984 2484
build-model-states-explored 3168467 2483
build-model-states-explored 3170948 2481
build-model-states-explored 3173416 2468
build-model-states-explored 3175788 2372
build-model-states-explored 3178226 2438
build-model-states-explored 3180710 2484
build-model-states-explored 3183195 2485
build-model-states-explored 3185680 2485
build-model-states-explored 3188166 2486
build-model-states-explored 3190653 2487
build-model-states-explored 3193141 2488
build-model-states-explored 3195625 2484
build-model-states-explored 3198107 2482
build-model-states-explored 3200591 2484
build-model-states-explored 3203072 2481
build-model-states-explored 3205556 2484
build-model-states-explored 3208040 2484
build-model-states-explored 3210528 2488
build-model-states-explored 3213010 2482
build-model-states-explored 3215494 2484
build-model-states-explored 3217975 2481
build-model-states-explored 3220458 2483
build-model-states-explored 3222947 2489
build-model-states-explored 3225436 2489
build-model-states-explored 3227921 2485
build-model-states-explored 3230408 2487
build-model-states-explored 3232893 2485
build-model-states-explored 3235376 2483
build-model-states-explored 3237859 2483
build-model-states-explored 3240349 2490
build-model-states-explored 3242832 2483
build-model-states-explored 3245314 2482
build-model-states-explored 3247793 2479
build-model-states-explored 3250279 2486
build-model-states-explored 3252762 2483
build-model-states-explored 3255252 2490
build-model-states-explored 3257739 2487
build-model-states-explored 3260228 2489
build-model-states-explored 3262713 2485
build-model-states-explored 3265200 2487
build-model-states-explored 3267679 2479
build-model-states-explored 3270150 2471
build-model-states-explored 3272644 2494
build-model-states-explored 3275133 2489
build-model-states-explored 3277621 2488
build-model-states-explored 3280106 2485
build-model-states-explored 3282594 2488
build-model-states-explored 3285084 2490
build-model-states-explored 3287574 2490
build-model-states-explored 3290066 2492
build-model-states-explored 3292558 2492
build-model-states-explored 3295046 2488
build-model-states-explored 3297530 2484
build-model-states-explored 3300017 2487
build-model-states-explored 3302504 2487
build-model-states-explored 3304995 2491
build-model-states-explored 3307484 2489
build-model-states-explored 3309972 2488
build-model-states-explored 3312456 2484
build-model-states-explored 3314943 2487
build-model-states-explored 3317428 2485
build-model-states-explored 3319918 2490
build-model-states-explored 3322394 2476
build-model-states-explored 3324885 2491
build-model-states-explored 3327370 2485
build-model-states-explored 3329853 2483
build-model-states-explored 3332341 2488
build-model-states-explored 3334826 2485
build-model-states-explored 3337313 2487
build-model-states-explored 3339803 2490
build-model-states-explored 3342295 2492
build-model-states-explored 3344782 2487
build-model-states-explored 3347266 2484
build-model-states-explored 3349748 2482
build-model-states-explored 3352234 2486
build-model-states-explored 3354722 2488
build-model-states-explored 3357210 2488
build-model-states-explored 3359700 2490
build-model-states-explored 3362185 2485
build-model-states-explored 3364668 2483
build-model-states-explored 3367152 2484
build-model-states-explored 3369643 2491
build-model-states-explored 3372133 2490
build-model-states-explored 3374620 2487
build-model-states-explored 3377107 2487
build-model-states-explored 3379594 2487
build-model-states-explored 3382082 2488
build-model-states-explored 3384568 2486
build-model-states-explored 3387058 2490
build-model-states-explored 3389552 2494
build-model-states-explored 3392040 2488
build-model-states-explored 3394530 2490
build-model-states-explored 3397004 2474
build-model-states-explored 3399467 2463
build-model-states-explored 3401955 2488
build-model-states-explored 3404444 2489
build-model-states-explored 3406938 2494
build-model-states-explored 3409421 2483
build-model-states-explored 3411906 2485
build-model-states-explored 3414388 2482
build-model-states-explored 3416868 2480
build-model-states-explored 3419353 2485
build-model-states-explored 3421838 2485
build-model-states-explored 3424322 2484
build-model-states-explored 3426803 2481
build-model-states-explored 3429281 2478
build-model-states-explored 3431756 2475
build-model-states-explored 3434236 2480
build-model-states-explored 3436725 2489
build-model-states-explored 3439207 2482
build-model-states-explored 3441689 2482
build-model-states-explored 3444173 2484
build-model-states-explored 3446653 2480
build-model-states-explored 3449136 2483
build-model-states-explored 3451621 2485
build-model-states-explored 3454107 2486
build-model-states-explored 3456593 2486
build-model-states-explored 3459077 2484
build-model-states-explored 3461560 2483
build-model-states-explored 3464044 2484
build-model-states-explored 3466526 2482
build-model-states-explored 3469009 2483
build-model-states-explored 3471481 2472
build-model-states-explored 3473959 2478
build-model-states-explored 3476448 2489
build-model-states-explored 3478927 2479
build-model-states-explored 3481407 2480
build-model-states-explored 3483881 2474
build-model-states-explored 3486368 2487
build-model-states-explored 3488855 2487
build-model-states-explored 3491337 2482
build-model-states-explored 3493823 2486
build-model-states-explored 3496314 2491
build-model-states-explored 3498801 2487
build-model-states-explored 3501289 2488
build-model-states-explored 3503776 2487
build-model-states-explored 3506266 2490
build-model-states-explored 3508752 2486
build-model-states-explored 3511233 2481
build-model-states-explored 3513713 2480
build-model-states-explored 3516197 2484
build-model-states-explored 3518688 2491
build-model-states-explored 3521167 2479
build-model-states-explored 3523653 2486
build-model-states-explored 3526137 2484
build-model-states-explored 3528621 2484
build-model-states-explored 3531104 2483
build-model-states-explored 3533592 2488
build-model-states-explored 3536079 2487
build-model-states-explored 3538567 2488
build-model-states-explored 3541053 2486
build-model-states-explored 3543535 2482
build-model-states-explored 3546009 2474
build-model-states-explored 3548421 2412
build-model-states-explored 3550908 2487
build-model-states-explored 3553395 2487
build-model-states-explored 3555883 2488
build-model-states-explored 3558367 2484
build-model-states-explored 3560850 2483
build-model-states-explored 3563328 2478
build-model-states-explored 3565814 2486
build-model-states-explored 3568302 2488
build-model-states-explored 3570787 2485
build-model-states-explored 3573273 2486
build-model-states-explored 3575758 2485
build-model-states-explored 3578245 2487
build-model-states-explored 3580728 2483
build-model-states-explored 3583216 2488
build-model-states-explored 3585707 2491
build-model-states-explored 3588197 2490
build-model-states-explored 3590683 2486
build-model-states-explored 3593168 2485
build-model-states-explored 3595650 2482
build-model-states-explored 3598132 2482
build-model-states-explored 3600618 2486
build-model-states-explored 3603108 2490
build-model-states-explored 3605596 2488
build-model-states-explored 3608084 2488
build-model-states-explored 3610571 2487
build-model-states-explored 3613051 2480
build-model-states-explored 3615540 2489
build-model-states-explored 3618026 2486
build-model-states-explored 3620501 2475
build-model-states-explored 3622988 2487
build-model-states-explored 3625476 2488
build-model-states-explored 3627962 2486
build-model-states-explored 3630448 2486
build-model-states-explored 3632938 2490
build-model-states-explored 3635428 2490
build-model-states-explored 3637920 2492
build-model-states-explored 3640409 2489
build-model-states-explored 3642895 2486
build-model-states-explored 3645378 2483
build-model-states-explored 3647865 2487
build-model-states-explored 3650354 2489
build-model-states-explored 3652837 2483
build-model-states-explored 3655320 2483
build-model-states-explored 3657807 2487
build-model-states-explored 3660291 2484
build-model-states-explored 3662778 2487
build-model-states-explored 3665264 2486
build-model-states-explored 3667754 2490
build-model-states-explored 3670240 2486
build-model-states-explored 3672719 2479
build-model-states-explored 3675203 2484
build-model-states-explored 3677687 2484
build-model-states-explored 3680169 2482
build-model-states-explored 3682655 2486
build-model-states-explored 3685140 2485
build-model-states-explored 3687626 2486
build-model-states-explored 3690110 2484
build-model-states-explored 3692597 2487
build-model-states-explored 3695064 2467
build-model-states-explored 3697547 2483
build-model-states-explored 3700033 2486
build-model-states-explored 3702524 2491
build-model-states-explored 3705011 2487
build-model-states-explored 3707498 2487
build-model-states-explored 3709985 2487
build-model-states-explored 3712468 2483
build-model-states-explored 3714955 2487
build-model-states-explored 3717441 2486
build-model-states-explored 3719926 2485
build-model-states-explored 3722410 2484
build-model-states-explored 3724894 2484
build-model-states-explored 3727375 2481
build-model-states-explored 3729857 2482
build-model-states-explored 3732336 2479
build-model-states-explored 3734823 2487
build-model-states-explored 3737305 2482
build-model-states-explored 3739789 2484
build-model-states-explored 3742271 2482
build-model-states-explored 3744753 2482
build-model-states-explored 3747241 2488
build-model-states-explored 3749728 2487
build-model-states-explored 3752214 2486
build-model-states-explored 3754700 2486
build-model-states-explored 3757186 2486
build-model-states-explored 3759665 2479
build-model-states-explored 3762151 2486
build-model-states-explored 3764635 2484
build-model-states-explored 3767123 2488
build-model-states-explored 3769595 2472
build-model-states-explored 3772081 2486
build-model-states-explored 3774564 2483
build-model-states-explored 3777047 2483
build-model-states-explored 3779536 2489
build-model-states-explored 3782024 2488
build-model-states-explored 3784512 2488
build-model-states-explored 3786996 2484
build-model-states-explored 3789482 2486
build-model-states-explored 3791964 2482
build-model-states-explored 3794439 2475
build-model-states-explored 3796930 2491
build-model-states-explored 3799420 2490
build-model-states-explored 3801907 2487
build-model-states-explored 3804392 2485
build-model-states-explored 3806879 2487
build-model-states-explored 3809364 2485
build-model-states-explored 3811854 2490
build-model-states-explored 3814341 2487
build-model-states-explored 3815934 1593
build-model-states-explored 3818429 2495
build-model-states-explored 3820921 2492
build-model-states-explored 3823417 2496
build-model-states-explored 3825911 2494
build-model-states-explored 3828401 2490
build-model-states-explored 3830892 2491
build-model-states-explored 3833380 2488
build-model-states-explored 3835833 2453
build-model-states-explored 3838329 2496
build-model-states-explored 3840785 2456
build-model-states-explored 3843263 2478
build-model-states-explored 3845681 2418
build-model-states-explored 3848176 2495
build-model-states-explored 3850611 2435
build-model-states-explored 3853106 2495
build-model-states-explored 3855601 2495
build-model-states-explored 3858096 2495
build-model-states-explored 3860591 2495
build-model-states-explored 3863044 2453
build-model-states-explored 3865542 2498
build-model-states-explored 3868034 2492
build-model-states-explored 3870530 2496
build-model-states-explored 3873023 2493
build-model-states-explored 3875514 2491
build-model-states-explored 3878011 2497
build-model-states-explored 3880503 2492
build-model-states-explored 3882998 2495
build-model-states-explored 3885492 2494
build-model-states-explored 3887989 2497
build-model-states-explored 3890485 2496
build-model-states-explored 3892979 2494
build-model-states-explored 3895478 2499
build-model-states-explored 3897971 2493
build-model-states-explored 3900467 2496
build-model-states-explored 3902963 2496
build-model-states-explored 3905451 2488
build-model-states-explored 3907945 2494
build-model-states-explored 3910440 2495
build-model-states-explored 3912940 2500
build-model-states-explored 3915436 2496
build-model-states-explored 3917925 2489
build-model-states-explored 3920419 2494
build-model-states-explored 3922917 2498
build-model-states-explored 3925411 2494
build-model-states-explored 3927908 2497
build-model-states-explored 3930403 2495
build-model-states-explored 3932895 2492
build-model-states-explored 3935387 2492
build-model-states-explored 3937878 2491
build-model-states-explored 3940372 2494
build-model-states-explored 3942866 2494
build-model-states-explored 3945362 2496
build-model-states-explored 3947858 2496
build-model-states-explored 3950352 2494
build-model-states-explored 3952843 2491
build-model-states-explored 3955329 2486
build-model-states-explored 3957817 2488
build-model-states-explored 3960305 2488
build-model-states-explored 3962789 2484
build-model-states-explored 3965275 2486
build-model-states-explored 3967768 2493
build-model-states-explored 3970258 2490
build-model-states-explored 3972748 2490
build-model-states-explored 3975240 2492
build-model-states-explored 3977734 2494
build-model-states-explored 3980231 2497
build-model-states-explored 3982722 2491
build-model-states-explored 3985214 2492
build-model-states-explored 3987705 2491
build-model-states-explored 3990192 2487
build-model-states-explored 3992671 2479
build-model-states-explored 3995152 2481
build-model-states-explored 3997643 2491
build-model-states-explored 4000135 2492
build-model-states-explored 4002629 2494
build-model-states-explored 4005122 2493
build-model-states-explored 4007614 2492
build-model-states-explored 4010110 2496
build-model-states-explored 4012602 2492
build-model-states-explored 4015094 2492
build-model-states-explored 4017591 2497
build-model-states-explored 4020084 2493
build-model-states-explored 4022577 2493
build-model-states-explored 4025074 2497
build-model-states-explored 4027571 2497
build-model-states-explored 4030069 2498
build-model-states-explored 4032565 2496
build-model-states-explored 4035061 2496
build-model-states-explored 4037555 2494
build-model-states-explored 4040047 2492
build-model-states-explored 4042540 2493
build-model-states-explored 4045035 2495
build-model-states-explored 4047527 2492
build-model-states-explored 4050021 2494
build-model-states-explored 4052518 2497
build-model-states-explored 4055011 2493
build-model-states-explored 4057505 2494
build-model-states-explored 4060002 2497
build-model-states-explored 4062497 2495
build-model-states-explored 4064991 2494
build-model-states-explored 4067469 2478
build-model-states-explored 4069947 2478
build-model-states-explored 4072441 2494
build-model-states-explored 4074939 2498
build-model-states-explored 4077436 2497
build-model-states-explored 4079931 2495
build-model-states-explored 4082424 2493
build-model-states-explored 4084916 2492
build-model-states-explored 4087409 2493
build-model-states-explored 4089893 2484
build-model-states-explored 4092385 2492
build-model-states-explored 4094873 2488
build-model-states-explored 4097367 2494
build-model-states-explored 4099860 2493
build-model-states-explored 4102357 2497
build-model-states-explored 4104825 2468
build-model-states-explored 4107321 2496
build-model-states-explored 4109817 2496
build-model-states-explored 4112316 2499
build-model-states-explored 4114811 2495
build-model-states-explored 4117304 2493
build-model-states-explored 4119796 2492
build-model-states-explored 4122291 2495
build-model-states-explored 4124787 2496
build-model-states-explored 4127279 2492
build-model-states-explored 4129767 2488
build-model-states-explored 4132261 2494
build-model-states-explored 4134754 2493
build-model-states-explored 4137238 2484
build-model-states-explored 4139735 2497
build-model-states-explored 4142212 2477
build-model-states-explored 4144693 2481
build-model-states-explored 4147185 2492
build-model-states-explored 4149680 2495
build-model-states-explored 4152176 2496
build-model-states-explored 4154670 2494
build-model-states-explored 4157167 2497
build-model-states-explored 4159664 2497
build-model-states-explored 4162142 2478
build-model-states-explored 4164638 2496
build-model-states-explored 4167128 2490
build-model-states-explored 4169624 2496
build-model-states-explored 4172093 2469
build-model-states-explored 4174567 2474
build-model-states-explored 4177040 2473
build-model-states-explored 4179529 2489
build-model-states-explored 4182024 2495
build-model-states-explored 4184518 2494
build-model-states-explored 4187012 2494
build-model-states-explored 4189509 2497
build-model-states-explored 4192005 2496
build-model-states-explored 4194304 2299
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4195630 1326
build-model-states-explored 4198094 2464
build-model-states-explored 4200556 2462
build-model-states-explored 4203020 2464
build-model-states-explored 4205490 2470
build-model-states-explored 4207956 2466
build-model-states-explored 4210422 2466
build-model-states-explored 4212892 2470
build-model-states-explored 4215355 2463
build-model-states-explored 4217820 2465
build-model-states-explored 4220290 2470
build-model-states-explored 4222759 2469
build-model-states-explored 4225229 2470
build-model-states-explored 4227698 2469
build-model-states-explored 4230156 2458
build-model-states-explored 4232617 2461
build-model-states-explored 4235086 2469
build-model-states-explored 4237546 2460
build-model-states-explored 4240018 2472
build-model-states-explored 4242489 2471
build-model-states-explored 4244958 2469
build-model-states-explored 4247423 2465
build-model-states-explored 4249892 2469
build-model-states-explored 4252359 2467
build-model-states-explored 4254823 2464
build-model-states-explored 4257294 2471
build-model-states-explored 4259762 2468
build-model-states-explored 4262217 2455
build-model-states-explored 4264645 2428
build-model-states-explored 4267112 2467
build-model-states-explored 4269572 2460
build-model-states-explored 4272040 2468
build-model-states-explored 4274506 2466
build-model-states-explored 4276973 2467
build-model-states-explored 4279432 2459
build-model-states-explored 4281889 2457
build-model-states-explored 4284346 2457
build-model-states-explored 4286809 2463
build-model-states-explored 4289270 2461
build-model-states-explored 4291730 2460
build-model-states-explored 4294194 2464
build-model-states-explored 4296655 2461
build-model-states-explored 4299116 2461
build-model-states-explored 4301579 2463
build-model-states-explored 4304033 2454
build-model-states-explored 4306494 2461
build-model-states-explored 4308961 2467
build-model-states-explored 4311421 2460
build-model-states-explored 4313880 2459
build-model-states-explored 4316344 2464
build-model-states-explored 4318803 2459
build-model-states-explored 4321264 2461
build-model-states-explored 4323727 2463
build-model-states-explored 4326188 2461
build-model-states-explored 4328652 2464
build-model-states-explored 4331115 2463
build-model-states-explored 4333586 2471
build-model-states-explored 4336054 2468
build-model-states-explored 4338522 2468
build-model-states-explored 4340990 2468
build-model-states-explored 4343450 2460
build-model-states-explored 4345916 2466
build-model-states-explored 4348380 2464
build-model-states-explored 4350847 2467
build-model-states-explored 4353300 2453
build-model-states-explored 4355765 2465
build-model-states-explored 4358235 2470
build-model-states-explored 4360703 2468
build-model-states-explored 4363169 2466
build-model-states-explored 4365634 2465
build-model-states-explored 4368095 2461
build-model-states-explored 4370560 2465
build-model-states-explored 4373028 2468
build-model-states-explored 4375504 2476
build-model-states-explored 4377955 2451
build-model-states-explored 4380385 2430
build-model-states-explored 4382850 2465
build-model-states-explored 4385317 2467
build-model-states-explored 4387782 2465
build-model-states-explored 4390255 2473
build-model-states-explored 4392721 2466
build-model-states-explored 4395188 2467
build-model-states-explored 4397602 2414
build-model-states-explored 4400075 2473
build-model-states-explored 4402539 2464
build-model-states-explored 4405011 2472
build-model-states-explored 4407477 2466
build-model-states-explored 4409947 2470
build-model-states-explored 4412418 2471
build-model-states-explored 4414886 2468
build-model-states-explored 4417359 2473
build-model-states-explored 4419833 2474
build-model-states-explored 4422306 2473
build-model-states-explored 4424777 2471
build-model-states-explored 4427242 2465
build-model-states-explored 4429711 2469
build-model-states-explored 4432181 2470
build-model-states-explored 4434646 2465
build-model-states-explored 4437118 2472
build-model-states-explored 4439586 2468
build-model-states-explored 4442055 2469
build-model-states-explored 4444522 2467
build-model-states-explored 4446990 2468
build-model-states-explored 4449461 2471
build-model-states-explored 4451913 2452
build-model-states-explored 4454386 2473
build-model-states-explored 4456854 2468
build-model-states-explored 4459317 2463
build-model-states-explored 4461788 2471
build-model-states-explored 4464257 2469
build-model-states-explored 4466724 2467
build-model-states-explored 4469194 2470
build-model-states-explored 4471662 2468
build-model-states-explored 4474127 2465
----------
Computation aborted after 1800.081890821457 seconds since the total time limit of 1800 seconds was exceeded.